1. An introduction to independence for analysts
پدیدآورنده : Dales, H. G.)Harold G.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
2. An introduction to independence for analysts
پدیدآورنده : Dales, H. G.)Harold G.(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
3. Combinatorial Set Theory
پدیدآورنده : \ Lorenz J. Halbeisen
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Combinatorial set theory.,Forcing (Model theory)
رده :
E-Book
,
4. Combinatorial set theory
پدیدآورنده : Lorenz J. Halbeisen
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Combinatorial set theory,Forcing )Model theory(
رده :
QA
248
.
H22C6
2012
5. Combinatorial set theory
پدیدآورنده : Lorenz J. Halbeisen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial set theory,Forcing (Model theory)
رده :
QA248
.
H25
2012eb
6. Combinatorial set theory
پدیدآورنده : / Lorenz J. Halbeisen
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Combinatorial set theory,Forcing (Model theory)
رده :
E-BOOK
7. Combinatorial set theory: with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
کتابخانه: المكتبة المركزية ومركز التوثيق (کلستان)
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H238
C66
8. Combinatorial set theory :with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Combinatorial set theory : with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
کتابخانه: (طهران)
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H25C6
10. Descriptive set theory and definable forcing
پدیدآورنده : Zapletal, Jind'rich, 9691-
کتابخانه: (طهران)
موضوع : ، Descriptive set theory,، Forcing )Model theory(,، Continuum hypothesis,، Borel sets
رده :
QA
3
.
A475
no
.
793
11. Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way
پدیدآورنده : Miller, Arnold W., 0591-
کتابخانه: (طهران)
موضوع : ، Set theory,، Forcing )Model theory(
رده :
QA
9
.
A1L44
Vol
.
4
12. Forcing idealized
پدیدآورنده : Zapletal, Jind۸rich
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Descriptive set theory,، Forcing )Model theory(
رده :
QA
248
.
Z37
2008
13. Forcing idealized
پدیدآورنده : Zapletal, Jind'rich, 9691-
کتابخانه: (طهران)
موضوع : ، Descriptive set theory,، Forcing )Model theory(
رده :
QA
248
.
Z34F6
14. Intuitionistic logic, model theory and forcing
پدیدآورنده : Fitting, Melvin
کتابخانه: (طهران)
موضوع : ، Model theory,، Axiomatic set theory,، Forcing )Model theory(
رده :
QA
9
.
F56
15. Norms on possibilities I : forcing with trees and creatures
پدیدآورنده : Roslanowski, Andrzej, 0691-
کتابخانه: (طهران)
موضوع : ، Set theory,، Forcing )Model theory(
رده :
QA
3
.
A475
no
.
671
16. Proper and improper forcing
پدیدآورنده : Shelah, Saharon
کتابخانه: (طهران)
موضوع : ، Forcing )Model theory(,، Axiomatic set theory
رده :
QA
9
.
7
.
S54
1998
17. Proper forcing
پدیدآورنده : Shelah, Saharon.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Forcing )Model theory(,، Axiomatic set theory
رده :
QA
1
.
L4
v
.
940
18. Proper forcing
پدیدآورنده : Shelah, Saharon
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,Forcing )Model theory(
رده :
QA
3
.
L28
no
.
940
19. The stationary tower :
پدیدآورنده : Paul B. Larson
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Forcing (Model theory),Set theory
رده :
QA9
.
7
.
L36
2004
20. The stationary tower : notes on a course by W. Hugh Woodin
پدیدآورنده : Larson, Paul Bradley, 0791-
کتابخانه: (طهران)
موضوع : ، Forcing )Model theory(,، Set theory
رده :
QA
9
.
7
.
L27S8